Monoid Properties as Invariants of Toposes of Monoid Actions
نویسندگان
چکیده
منابع مشابه
The category of monoid actions in Cpo
In this paper, some categorical properties of the category ${bf Cpo}_{{bf Act}text{-}S}$ of all {cpo $S$-acts}, cpo's equipped with actions of a monoid $S$ on them, and strict continuous action-preserving maps between them is considered. In particular, we describe products and coproducts in this category, and consider monomorphisms and epimorphisms. Also, we show that the forgetful functor from...
متن کاملThe Monoid of Queue Actions
Wemodel the behavior of a fifo-queue as a monoid of transformations that are induced by sequences of writing and reading. We describe this monoid by means of a confluent and terminating semi-Thue system and study some of its basic algebraic properties such as conjugacy. Moreover, we show that while several properties concerning its rational subsets are undecidable, their uniform membership prob...
متن کاملRelative Invariance for Monoid Actions
Let S be a topological monoid acting on the topological space M . Let J be a subset of M . Our purpose here is to study the subsets of M which correspond, under the action of S, to the relative (with respect to J) invariant control sets for control systems (see [4] section 3.3). The relation x ∼ y if y ∈ cl(Sx) and x ∈ cl(Sy) is an equivalence relation and the classes with respect to this relat...
متن کاملthe category of monoid actions in cpo
in this paper, some categorical properties of the category ${bf cpo}_{{bf act}text{-}s}$ of all {cpo $s$-acts}, cpo's equipped with actions of a monoid $s$ on them, and strict continuous action-preserving maps between them is considered. in particular, we describe products and coproducts in this category, and consider monomorphisms and epimorphisms. also, we show that the forgetful functor from...
متن کاملCubical Sets and Trace Monoid Actions
This paper is devoted to connections between trace monoids and cubical sets. We prove that the category of trace monoids is isomorphic to the category of generalized tori and it is a reflective subcategory of the category of cubical sets. Adjoint functors between the categories of cubical sets and trace monoid actions are constructed. These functors carry independence preserving morphisms in th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Applied Categorical Structures
سال: 2020
ISSN: 0927-2852,1572-9095
DOI: 10.1007/s10485-020-09620-y